Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
181	Typing Erlang John Hughes Karol Ostrovsky Add to Reading List Source URL: www.erlang.se Language: English - Date: 2004-11-04 06:52:32 Type theory Functional languages Data types Type systems Procedural programming languages Erlang Type inference ML Subtype polymorphism Software engineering Computing Programming language theory
182	JS inheritance: beyond the basics Dr. Axel Rauschmayer rauschma.de[removed] Add to Reading List Source URL: dl.2ality.com Language: English - Date: 2012-11-13 10:24:31 Object-oriented programming JavaScript Prototype-based programming Inheritance Constructor ECMAScript Class-based programming C++ classes Subtype polymorphism Software engineering Computing Computer programming
183	Mixins in Strongtalk Lars Bak Gilad Bracha Add to Reading List Source URL: bracha.org Language: English - Date: 2011-09-24 10:47:46 Object-oriented programming Mixin Multiple inheritance Inheritance D Subtype polymorphism Interface Method overriding Scala Software engineering Computing Computer programming
184	Pure Subtype Systems DeLesley S. Hutchins MZA Associates Corporation Add to Reading List Source URL: redwood.mza.com Language: English - Date: 2009-11-06 16:44:00 Theoretical computer science Object-oriented programming Data types Polymorphism Lambda calculus Subtype polymorphism Type system Lambda cube System F Type theory Software engineering Programming language theory
185	Typeful Programming Luca Cardelli Digital Equipment Corporation, Systems Research Center Add to Reading List Source URL: www.lucacardelli.name Language: English - Date: 2007-10-27 12:43:49 Programming language theory Subtype polymorphism Type system Polymorphism Strong typing Type safety Parametric polymorphism Data type System F Type theory Software engineering Computing
186	On Variance-Based Subtyping for Parametric Types Atsushi Igarashi1 and Mirko Viroli2 Add to Reading List Source URL: www.sato.kuis.kyoto-u.ac.jp Language: English - Date: 2003-01-07 03:41:10 Object-oriented programming Polymorphism Computing Data types Covariance and contravariance Subtype polymorphism Euclidean vector Generic programming Bounded quantification Software engineering Type theory Algebra
187	Working Draft Dealing with Add to Reading List Source URL: www.martinfowler.com Language: English - Date: 2013-11-04 02:51:04 Computer programming Type theory Data types Software design patterns Polymorphism Subtype polymorphism Inheritance Delegation Class Software engineering Computing Object-oriented programming
188	Type Classes and Instance Chains: A Relational Approach Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-10-18 06:05:19 Computing Type system Ad-hoc polymorphism Polymorphism Parametric polymorphism Type inference Subtype polymorphism System F ML Type theory Software engineering Programming language theory
189	Unifying Genericity Combining the Benefits of Virtual Types and Parameterized Classes Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2004-02-09 07:34:31 Computer programming Type theory Polymorphism Data types Generic programming Subtype polymorphism Covariance and contravariance Inheritance Type system Software engineering Object-oriented programming Computing
190	Subtypes and Subclasses[removed]Lecture 14 Fall 2005 Add to Reading List Source URL: ocw.mit.edu Language: English - Date: 2013-01-12 08:13:31 Type theory Computer programming Polymorphism Data types Subtype polymorphism Covariance and contravariance EXPRESS Java E Software engineering Computing Object-oriented programming

UPDATE